- permutative reduction
- вчт. перестановочная редукция
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
permutative reduction
Смотреть что такое "permutative reduction" в других словарях:
De Bruijn notation — For the representation of variables with natural numbers, see De Bruijn index. In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn.[1] It can be seen… … Wikipedia
